Isomorphisms of finite cylindric set algebras of characteristic zero.
نویسندگان
چکیده
منابع مشابه
Lectures on Cylindric Set Algebras
These notes are a corrected and revised version of notes which accompanied lectures given at the Banach Center in the fall of 1991. The intent is to give a self-contained introduction to cylindric algebras from the concrete point of view. I hope that after these lectures the reader will be able to digest the basic works on this subject (Henkin, Monk, Tarski [4], [5] and Henkin, Monk, Tarski, An...
متن کاملIndependence-friendly cylindric set algebras
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of ...
متن کاملOn Neatly Atomic Cylindric Set Algebras
For a cylindric set algebra A with (base U and) unit U ω and , U X ⊆ let X A be the subalgebra of ( ) U ω ℘ generated by {{ } }. : X u U u A ∈ × ω ∪ D At denotes the set of atoms of . D It is shown that, there exists a simple and countable ω ∈ Lf A such that A Nrn is atomic for every n and the following hold. For every A C C ≅ ∈ ω ω , reg Cs Lf ∩ and C has base U, there is a non-empty U V ⊆ suc...
متن کاملCylindric Set Algebras and IF Logic
Independence-friendly logic (IF logic) [12, 13] is a conservative extension of first-order logic that can be viewed as a generalization of Henkin's branching quantifiers [8]. For example, in the branching quantifier sentence (2.0.1) ∀ v 0 ∃ v 1 ∀ v 2 ∃ v 3 ϕ(v 0 , v 1 , v 2 , v 3), the rows of the branching quantifier indicate that v 1 depends (only) on v 0 , while v 3 depends (only) on v 2. It...
متن کاملNoncommutative cylindric algebras and relativizations of cylindric algebras
We obtain the class N A of noncommutative cylindric algebras from the class CA of cylindric algebras by weakening the axiom C 4 of commuta-tivity of cylindrifications (to C * 4 , see below, and we obtain N CA from CA by omitting C 4 completely). Some motivation for studying noncommutative cylindric algebras: Noncommutative cylindric algebras (N A's) have the same " substi-tutional structure " a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1993
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093634658